EDIT: The CS is now posted.