“…A K ‐IGDD of type is an IGDD in which every block has size from the set K and in which, when , there are groups of size , each intersecting the hole in points. Theorem The necessary conditions for the existence of a 4‐IGDD of type , namely, , , and , are also sufficient, except for and except possibly for .…”