checking the correctness of numbering and instantiation conceptually