superlens - Revision 135: /proofs