"""State machine models."""