. . . . "astipulatus" . "astipulatus" . . . . . "adstipulatus" .