[contravariant]

The wikipedia article matched my vague recollection of the event, but if they got the year wrong then it may as well just be a rumour at this point.