This important package provides many UML critics (which mostly follow the uml well-formedness rules), some uml critic wizards, and support.