Added parentheses to conjections and disjunctions