Tidied up Logic UML.