Church's objection targets the formulation of the criterion, not the verdict it yields for this spec...