Finer topology

Summary