parameterized sketches: link