defined sequential consistency