"A common non-theorem"

[StevenClontz]

A Common Non-Theorem

first countable + separable + ~second countable

I read this as "no spaces should satisfy this", but obviously some do. Maybe we should be more explicit: "Counterexamples to the conjecture 1stCount+Sep=>2ndCount".