longrange - Revision 33: /prapplied/proofs