Algebra_Łukasiewicza-Moisila does not exist