And that's it for OCL. It's a, it's a, it's a relatively simple language. There's some tool support for it.
What it is, does is it gives you the ability to precisely specify the properties of your system. They're a complement to the diagrams, which can give you the structural and behavioral aspects of things. But OCL allows you to become as precise as you'd like.
