Home Online Mathematical Communication Thoughts Hardness amplification proofs require majority… and 15 years