The necessary conditions for the existence of a balanced incomplete block design on v ! k points, with index ! and block size k, are that:!v À 1 0 mod k À 1 !vv À 1 0 mod kk À 1 For k 8Y these conditions are known to be suf®cient when ! 1, with 38 possible exceptions, the largest of which is v 3Y 753. For these 38 values of v, we show vY 8Y ! BIBDs exist whenever ! b 1 for all but ®ve possible values of v, the largest of which is v 1Y 177, and these ®ve v's are the only values for which more than one value of ! is open. For ! b 1, we show the necessary conditions are suf®cient with the de®nite exception of two further values of v, and the possible exception of 7 further values of v, the largest of which is v 589. In particular, we show the necessary conditions are suf®cient for all ! b 5 and for ! 4 when v T 22. We also look at 8Y ! GDDs of type 7 m . Our grouplet divisible design construction is also re®ned, and we construct and exploit -frames in constructing several other BIBDs. In addition, we give a PBD basis result for fn X n 0Y 1 mod 8Y n ! 8g, and construct a few new TDs with index b 1.