removed the prenexing code