~ following this thread ~
Proof games — OmList