astipulandarum