Add Theorem#examples and #counterexamples