... since theyhold for L3. We must show that the third invariant holds initially, when j = 0. Indeed, in L3,all the edges adjacent to a vertex of S are either non-covered, or covered once in ... ConcludingremarksandanopenproblemWhenH=Kh,theconstantn0(H)inTheorem1.1isshownintheprooftobenolargerthanmax{h8,h1+h(h−1)},whereh1=h1(h)isthecorrespondingconstantinWilson’sTheorem.However,thebestknownboundforh1(and,consequently,forn0(H)),isratherlarge,andhighlyexponentialinh[7].Itisplausible,however,thatthestatementofTheorem1.1isstillvalidforn0(H)whichismuchsmaller.Infact,weconjecturethefollowing:Conjecture3.1ThereexistsapositiveconstantCsuchthatforallh≥2,ifn≥Ch2thenKnhasaKhcoveringdesignwhereeachedgeiscoveredatmosttwiceandanytwocopiesintersectinatmostoneedge. the ... twice.2. 1-intersection:AnytwocopiesofHintersect in at most one edge.3. Efficiency: s|EH| <n2+ c(H) · n,wheresis the number of members in the covering, andc(H) is some constant depending...