This new version of the modeling tool brings us a big capability: the support for necessary and sufficient conditions of anonymous subclasses.