universals
not defined yet