Spanning-states works