What you really want is draw a sketch + describe constraints in symbols