Nikhil is unavailable, so there won't be any office hours today.