record Vertex(double x, double y){ }