lmao did lean really lose its "no proofs of falsehood in the kernel" gold star because of slop