Added a few explanatory comments
Fixed transforms for logical expressions
Fixed transforms for logical expressions