straint
not defined yet