A few people mentioned to me about possibly changing the committee time to Tuesday instead of Monday. I'm informed that we will be changing to Tuesday in September. It would be a bit of a problem right now to change it to Tuesday, given the fact that the committee rooms have been assigned. But we will be going to Tuesday in September--Tuesday and Thursday.
Are there any further comments? If not, I move to adjourn.
Thank you.