State at end of SPA2013 session (belatedly)