estipulate

not defined yet