FM Proofs 10-8-18