stipulations
not defined yet