Projected slides on SC and linearizability