First attempt at writing a cookbook using DSC