21st Century Type Set Non-Proofs