Worked example works