Interesting. 7.3 seems to be a very early instance of the xor swap trick, albeit with addition and subtraction as group operations.