working on the category of elements ...