Rewrite various sections of SAD
Add text explaining state diagrams'