Compass_and_straightedge_construction loading ...