restipulated

not defined yet