Prove cheats in inferProps