if parentheses are not needed here (around ~A) then perhaps they aren't needed in the previous expression?