Quadratic Reciprocity comments on I don’t think MIRI “gave up”