Revision of negations expressions
documentation of classes