Formales im Überblick