STABLE: finished UML diagram