Add strongly happens before

[victorpoughon]

For the next update:

https://nekrozqliphort.github.io/posts/happens-b4/