solver Matterhorn illustration