Section 3.5 Write arguments in symbolic form and valid ...