How Professor Borcherds' lectures feel