Errata: In the last paragraph of Section 7.1, "reachable" should be replaced by "observable"