That’s not entirely true. The domain within which the cheating can occur shrinks by eg checking certain properties, tho the problem you’re talking about happens when only a few properties are checked because then of course only those properties need to be gamed/manipulated. It’s about how much coverage your tests have over the properties of what you’re testing