11.4.4 After Step

[da completare ...]