Michael Sussmann was a NothingBurger, or was he 🤔