(REPL)'s mentions