An exercise in "anhomomorphic logic"