TESpulse - Revision 249: /proofs