This section has moved to 2-7-logical-arguments.