Define a `strengthenTerm`.

Using `canStrengthen` is really awkward.