NEW HOME FOR THE PROOF.CAT