9.3.2A Logical Arguments