Any interest in having proofs included? I would love it but I don't know if there is enough interest to justify the work involved. It's easy for me to suggest ideas that don't cost me a whole lot of...