solid functionality in the REPL