Esimene lause: näiteks järgmised kaks määratlust on ohutud võrdväärse jagamise puhul väärtuste kohta ehk-monadis. Lause 2: Näiteks on mõlemad järgmised võrdväärse jagamise määratlused väärtuste kohta võib-olla-monadis ohutud. Küsimus: Kas 1. ja 2. lause tähendus on sama? Jah või ei?
Jah, ma tean.