are-and-kluya-complete