/  
  Eine solche Funktion wäre dann ein Prüfstein mit dem man Sätze auf ihre Brauchbarkeit prüfen würde indem man in sie eine construierte Funktion einführt statt einer and wirklichen einsetzt & sieht ob t oder c herauskommt