Ben's consolidation of knowledge structures about infinite sets