Kramer in ANET3, pp. 649, line 128.