(via Hope Rekindled for ABC Proof | Quanta Magazine)