Optimizer logic and notations