Some New 4-Designs

The existence question for the family of 4-(15, 5, λ) designs has long been answered for all values of λ except λ = 2. Here, we resolve this last undecided case and prove that 4-(15, 5, 2) designs are constructible.