SMS: Counterexamples in topology