Proof of Cat 2