. . . "astipulatus" . .