Added a home for examples and counterexamples