Was ist ein formaler Grund?