können wir ausserdem jedes Programm so umschreiben, dass es 
                        keine zusammengesetzten Bedingungen mehr enthält, indem wir einfach eine Zusammengesetzte Bedingung durch 
                        durch zwei separate Bedingungen abfrage.
                    </aside>
                </section>
                -->
                <section>
                    <h1>Schw&auml;chen vom Kriterium</h1>
                    <pre><code data-trim>
                    if x != 0 then
                