Primitive result-combinations takes 2 term arguments.