Using the topology checker