We provide an existence proof of the Ivanov–Shpectorov rank
diagram geometry together with its boolean lattice of parabolic subgroups and
establish the structure of hyperlines.
Keywords
incidence geometry, diagram geometry, Buekenhout diagrams,
O'Nan's sporadic group