First REPL:

Second REPL: