Implemented Joel's suggestions for Resnik method. Still need to change REPL.py.