+And so too these:
+
+ begin x := 3; x := 2; x end
+
+ begin x := 2; x := 3; x end
+
+However, if A and B are purely functional, non-imperatival expressions, then:
+
+ begin A; B; C end
+
+just evaluates to C (so long as A and B evaluate to something at all). So:
+
+ begin A; B; C end
+
+contributes no more to a larger context in which it's embedded than C does. This is the sense in which functional languages have no serious notion of sequencing.
+
+We'll discuss this more as the seminar proceeds.