In 1991‎, ‎McKay and Radziszowski proved that‎, ‎however each $3$-subset of a $13$-set is assigned one of two colours‎, ‎there is some $4$-subset whose four $3$-subsets have the same colour‎. ‎More than 25 years later‎, ...