Revision 2

Added some final graphs to avoid any semantics.