pedantic instruction about starting repl