> I prefer to have a nice agent :-)...? > then deciding how to represent them, in modal logic, in UML, > in Object Z or whatever UML class models is not just another formal language like "Object Z". Apparently, you do not understand it's fundamental nature as a conceptual modeling language, which extends ER diagrams. -Gerd