Add in an explanation of the FSM annotation
Clean up Table