Slide "Binary operator output type"