- Show a prompt before each input.
- Don't die if the verification of a formula fails. Show an error
  instead and accept the next input.