quantifier operator and better understanding of need for branching