generated at
stipulation