fourpi - Revision 110: /proofs