Add TODO to verify validity of operands