finished sequential consistency lecture