Checking Model Topology