Transition State based on Existing State using the State ADT by Ian Hofmann-Hicks