DFA's 21st Century Type Set Proofs #2