Reworded section on linearizability to remove probably wrong assertion.