Add new theory: Operator