Add some topology facts.