All numbers are interesting!
@noam @blinry So as a mathematical proof, it's perfectly fine. We do this all the time. When we evaluate the claim "The cat was in the bedroom, so it could not have eaten the lasagna in the kitchen" we do not rely on a full definition of what a cat "is", only properties such as "has only 1 location" and "can't walk through closed doors"
chaos.social – a Fediverse instance for & by the Chaos community