param: vertices: x1 x2 := 1 .1 .1 2 .1 .2 3 .2 .1 4 .8 .9 5 .9 .8 6 .9 .9;