stipulates

not defined yet