 Padoa’s method. To show that \(T^*\) is not admissible, it suffices to construct two models of \(T^*\) that are expansions of one and the same interpretation of the ground language \(L\). (Padoa 1900)