expressions do commute. Fixed a bug in translation of Not.