restipulating