Predecessor state