State Machine Alignment