remove examples
Correct Double rule
some pretty printing for the results