Proof trios don’t work…