Sketch for the first example