 Achille Varzi points out that one way to generate competing relations of logical consequence is to vary the set of expressions that we treat as logical constants. If we take = to be a logical constant, then the following argument will be valid 