fourwave - Revision 232: /proofs