rewrote Counting_Boolean_Parenthesizations