Worked example