Petrie's property definitions appear to be constructed specifically to make counterexamples work, la...
This proposition has not been edited since the history system was added.