The script were failing to generating the proof but it was continuing anyway.
  the set -e forces the script exit.