 The strongest and most widespread proposal for finding a narrower criterion for logical consequence is the appeal to formality. The step in (4) from “Peter is Greg’s mother’s brother’s son” to “Peter is my cousin” is a material consequence and not a formal one, because to make the step from the premise to the conclusion we need more than the structure or form of the claims involved: we need to understand their contents too.