parenthesization recursive done