 To be sure, the Mohists did not attempt to develop any rigorous notation for handling differences of logical form. But as noted in examples above, they were wary of assuming that sentences or expressions with the same grammatical form have analogous semantical representations. It is quite possibly from observations like these that the later Mohists were led to compare the satisfaction conditions of expressions obtained from the intersubstitution of co-referential terms and co-extensive predicates. They did so by utilizing what we would now identify as tests for intensionality. Many of these tests involved typical epistemic verbs, like “know”, “think of”, and “love”. For instance, in B40 of the Canons the Mohists claim that: