Also kann ich nicht wissen ob die Konstruktion von B ein Beweis von A ist, auch wenn ich die Beziehung V in ihnen erkenne; solange ich mich nicht davon überzeugt habe, daß R im Regelverzeichnis steht? (Das scheint die grundlegende Frage zu sein.)