semantic definition
universal properties