A Few Good Men

"You can't handle an HOL proof script!"