Kann man sagen: α, β, γ sind Gleichungen der Algebra, aber weder fungiert die rekursive Definition α
als algebraischer Satz; noch β & γ als algebraische Sätze im Komplex B bei der Ableitung von A.