Results and encoding of arrows impossibilty theorem added