arXiv++ Combinatorics

The paper is devoted to a somewhat idiosyncratic account of the theorem of de Bruijn-Erdös and Hanani from the combinatorics of finite geometries and its various proofs. Among the proofs discussed are the original proofs by de Bruijn--Erdös and Hanani and few others. It is explained how one of the proofs was discovered, and how another one could have been discovered.