Greatly improved. Minor: "We extract *the* single tuple *, binding* its ..."