stipulated
not defined yet