This is true up to isomorphism (replace it with any other food)