Office Hours: Wednesdays 12:30-13:20 or by appointment (make use of office hours - only send email in emergencies). If nobody shows up within the first 10 minutes of my office hour, then I may go ...