The top documents tagged [state machine polished]