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