state machine with claims