There seems to be a minor typo on page 23, second paragraph of 2.2.4, second line, in which an existential qualifier symbol appears where there ought to be a numeral "3".