astipulated