... parenthesis by changing the first arrow to an "and" ... proof for why/how, using the negate sufficient "or" ... did. Use the "or" arrow rule (which is negating ... that you remove the arrow for along each step ... by step application of the arrow to or translation rule. ...