mempty changed to \emptyset