palavra mnemônica usada pela Lógica de Port-Royal para indicar o nono modo do silogismo de primeira figura (Frisesomorum) com a diferença de assumir como premissa maior a proposição em que está o predicado da conclusão. O exemplo é o seguinte: “Nenhum infeliz está contente; há pessoas contentes que são pobres; logo, há pobres que não são infelizes” (Arnauld, Log., III, 8).