Concurrent programs have behaviors. which cannot be explained by interleaving execution of their threads on a single processing unit due to optimizations. which are performed by modern compilers and CPUs. How to correctly and completely define a semantics of a programming language. https://www.roneverhart.com/HP-Pavilion-15-eg1053cl-15-6-FHD-Touch-Intel-Core-i5-1235U-3-30-GHz-Intel-Iris-Xe-Graphics-12-GB-DDR4-RAM-512-GB-SSD-/