preparing top-down approach towards set-theoretical startover