Extra assertions to ensure proper topology achieved.