astipulation

not defined yet