worked example from advanced atdd training