External binary operation