/  
  Oder: dann müsste das Schema selbst die Tautologie sein, und die Tautologie nichts anderes als das Schema.