explanations for worked example