Daily update Oct. 16th. Debugged evaluation module, logical substitution
added.