Commented out stepwise substitution so that file can be loaded into REPL