@gmvh one could ask about the benefit of making
set-theory a synonym of
lo.logic. The frontier to me is unclear, it seems to me at first sight that it would be more an improvement than inconvenient, but there are more qualified users to discuss this.