Outlined satisfactory proof pending 1 cheat
Reduced large cheats to more trivial ones