Sequential consistency relaxes the real-time requirement while still preserving program order within each process.
Inline math still works: $W + R > N$ is the quorum overlap rule.