|entries|set-theory|