Dear you all,
I am sorry that I made a mistake. The office
hour on 5/20 still remains the same (3:30).
It is the office hour on next Friday (5/27)
that will be cancelled. Please feel free to
come to talk with me at 3:30 if you have any-
thing to discuss/chat. Sorry for the confusion.
:P
Benson