Add transition diagrams and brief reasoning