toTVRaw (IndefTV a b c d e) = TVRaw "IndefiniteTruthValue"    [a,b,c,d,e]
toTVRaw (IndefTV a b c d e) = TVRaw "IndefiniteTruthValue"    [a,b,c,d,e]
toTVRaw (IndefTV a b c d e) = TVRaw "IndefiniteTruthValue"    [a,b,c,d,e]