speed up BAut
move the counterexamples for idempotents into Spaces/ files