Individual kif#true
  type:  boolean  two instances: true and false

No statement uses or specializes true; click here to add one.