predecessor states