Three Hard Theorems in Topology #some2