ERRORS & VARIETIES and PROOFS, ect
!