Wie erkennt man ein formelles Gesetz?