I said he resigned under pressure. I think MIT would have fired him but not the FSF. My argument is that he was pressured because of more than just one incident.