Professor Cat (PROOFCAT)