Use the Boris REPL if all requirements are met