Add (still quite unfinished) section 3.3