bistipulate

not defined yet