Added educative examples. Improved some reasonings.