This is also covered in the Parallelism section (see
2.4) as again the driving reason for adding
it was safe parallelism, but it is more generally useful, for dataflow
analysis, for example, or simply documenting behaviour that some coding
standards would ask for in a comment.