some examples from section 6