If material equivalence sufficed for concept identity, hyperintensional contexts—where substitution ...