A Technical Proofs min max E