This section has moved to 2-1-statements-and-quantifiers.