CATO: Buttered Cat is a truly charming puzzle platformer based on the buttered-cat paradox