AOS students, We received the correctness verification description for project 2 from all of you and on time. We should reply with individual comments within a day or so. Thanks, -- Mikhail