Correction to Slide 18 of Lecture 3

According to the current slide 18 it says:

visual order \not\subseteq causal order is equivalent to Lin(M, visual order) \not\subseteq Lin(M, causal order). 

It should have been:

visual order \not\subseteq causal order is equivalent to Lin(M, causal order) \not\subseteq Lin(M, visual order). 

Accordingly, in all statements about linearisation on page 18, the visual order and the causal order need to be swapped.
Intuition: the causal order is a "relaxed" version of the visual order as it imposes less orderings, and the orderings it imposes are also in the visual order. But this means that there are fewer linearisations under the causal order than for the visual order.