Fair Exchange and No Robbery (Unabridged)