minor edits, and placeholder for a worked extension example