A & FITCH (PROOF ) M TYPE