What's the point of having a `has_the_recipe` criterion in recipe advancements?