When Checking Costs More Than Running | TinyFish