[finite-model-theory] Möglichkeit der Promotion