~ following this thread ~
Proof books — OmList