ST102 Proofs 2