Proofwork Research — t2000