Mixon Team-proofs 1