binary function that is not an internal binary operation