Wasteful and frugal proofs in Ramsey theory | Heykuki News