Broadcast Message from schoen@zork
        (/dev/ttyp4) at 1:10 ...

I have found the bit
from Professor R. Hartshorne:
QED, et c.