External binary operation

Summary