iso proofs, 2nd part