restipulated