#proofOfCat(s