Formalising generalised polygons with an intention to prove Feit-Higman theorem