The non-existence of an oval-extendable (56,11,2) design (Q1071259)

It seems an unfortunate fact of life that the neat plane-biplane connection fails for the projective (56,11,2) design, called a biplane. For the author proves its non-existence even though it possesses a collection of 924 ovals that ''extend'' it in the sense that every 3-subset of points not contained in a block is contained in a unique oval of the collection. What, in fact, is proved, through 3 lemmas, is that if such a biplane exists it would entail the existence of a 3-(112,12,1) design, i.e., an extension of a projective plane of order 10. Thus the computer result [see \textit{C. W. H. Lam}, \textit{L. Thiel}, \textit{S. Swiercz}, and \textit{J. McKay}, Discrete Math. 45, 319-321 (1983; Zbl 0574.05008)] that a plane of order 10 cannot have an oval, let alone 925 ovals forming an extension and a 3-(112,12,1) design, yields the non-existence.