make way for boolean expressions
newline stickler
adjective more accurately reflects immutability
move value extraction up into the super class
added small step reduction machine