“…By the transitivity argument, shells of ∼ Q q p , +1 are known to support 2-designs if ≡ p 1 (mod 4) and 3-designs if ≡ p −1 (mod 4) (see Example 2.4). In the recent years, Bonnecaze-Solé [8] found a 3-design in ∼ Q ( ) 2,42 ℓ and Ishikawa [16] also found 3-designs in ∼ Q ( ) 3,14 ℓ and ∼ Q ( ) 4,18 ℓ . Since they are the cases where ≡ p 1 (mod 4), they do not follow from the transitivity argument.…”