happens-before inconsistency

In [glossary](https://docs.vulkan.org/spec/latest/appendices/glossary.html#glossary:~:text=Happen%2Dbefore%2C%20happens%2Dbefore):
>***Happen-before, happens-before***
A transitive, irreflexive, and antisymmetric ordering relation between operations. An execution dependency with a source of A and a destination of B enforces that A happens-before B. The inverse relation of happens-after.

*Happen-before* is transitive

In [Memory Model/Happens-Before](https://docs.vulkan.org/spec/latest/appendices/memorymodel.html#memory-model-happens-before):
>Happens-before is not transitive, but each of program-order and inter-thread-happens-before are transitive. These can be thought of as covering the “single-threaded” case and the “multi-threaded” case, and it is not necessary (and not valid) to form chains between the two.

*Happen-before* is not transitive.

One must be incorrect.