More of the sequential correctness part written.