Łukasiewicz–Moisil_algebra loading ...