Open Ended Spanners, Spanners