"I know you hired me to murder the competing gang, but I thought designing a new multi-paradigm type-safe VM-driven LISP-like automatically verifyable programmi

"I know you hired me to murder the competing gang, but I thought designing a new multi-paradigm type-safe VM-driven LISP-like automatically verifyable programming language would be much better use of the money".