placeholder for state transitions section