- Of any assertion, it can be asked: is it
  * [[True to self]]?
    + Which self?
