#include <bits/stdc++.h>   using namespace std;   int n, m, a[100005], is[100005], isn[100005], N, used[100005];   vector<int> v;   int main() {     cin >> n >> m;     for (int i = 1; i <= n; i++) {       char t;       int ind;       cin >> t >> ind;       a[i] = ind;       if (t ==  + )         is[ind]++;       else {         a[i] *= -1;         isn[ind]++;         N++;       }     }     for (int i = 1; i <= n; i++)       if (is[i] + N - isn[i] == m) {         v.push_back(i);         used[i] = 1;       }     if (v.size() == 1) {       for (int i = 1; i <= n; i++)         if (a[i] == v[0] || (a[i] < 0 && -a[i] != v[0]))           cout <<  Truth  << endl;         else           cout <<  Lie  << endl;     } else {       for (int i = 1; i <= n; i++)         if (a[i] > 0 && !used[a[i]])           cout <<  Lie  << endl;         else if (a[i] < 0 && !used[-a[i]])           cout <<  Truth  << endl;         else           cout <<  Not defined  << endl;     }     return 0;   }   