More abstraction in Polygon and Guess