Added comment about transformation of logical expressions
Deleted some file that was added by accident