Having thus nothing external to look to, logicians and mathematicians look closely to notation and explicit notational operations: to expressions, terms, suhstitution, transposition, cancellation, clearing of fractions, and the like.