Title: On existence conditions for elements and classes