Revised FSMs