the algorithm makes use of the idea of "short-circuiting": if the root node is considered an "" operator, then once one is found, the root is classified as ; conversely, if the root node is considered an "" operator then once one is found, the root is classified as .