Back to the email
D

Argh, formatting.

Original code block:

Transfer = some value in 1..=alice: 1. alice' = alice 2. bob' = bob

Possible correction:

Transfer = some value in 1..=alice: 1. alice' = alice - value 2. bob' = bob + value