predecessor state