multiply:= (a, b) -> a * b;