messed up diagram, OCL constraint 3 implemented