Was ist eine formale Prüfung?