Compass_and_straightedge loading ...