theories could be decidable yet not admit quantifier elimination he was educated at lymm high school cyane cyane mu bishanga aho imibu yororokera