#include <bits/stdc++.h>
using namespace std;
int a[5], ca[5], cb[5], cca, ccb, fat[5], fbt[5], fal[5], fbl[5];
int main() {
  int n, m, i, tmp, cc;
  while (cin >> n >> m) {
    cca = ccb = 0;
    memset(ca, 0, sizeof(ca));
    memset(cb, 0, sizeof(cb));
    for (i = 1; i <= n; i++) {
      cin >> a[i];
      if (a[i] > 0) {
        cca++;
        ca[a[i]]++;
      } else {
        ccb++;
        cb[-a[i]]++;
      }
    }
    if (n == m) {
      for (i = 1; i <= n; i++) cout << "Truth" << endl;
    } else {
      memset(fat, 0, sizeof(fat));
      memset(fal, 0, sizeof(fal));
      memset(fbt, 0, sizeof(fbt));
      memset(fbl, 0, sizeof(fbl));
      cc = 0;
      for (i = 1; i <= n; i++) {
        tmp = ca[i] + ccb - cb[i];
        if (tmp == m) {
          fat[i] = 1;
          cc++;
        }
      }
      for (i = 1; i <= n; i++) {
        if (a[i] > 0) {
          tmp = a[i];
          if (cc == 1 && fat[tmp])
            cout << "Truth" << endl;
          else if (cc > 1 && fat[tmp])
            cout << "Not defined" << endl;
          else
            cout << "Lie" << endl;
        } else {
          tmp = -a[i];
          if (!fat[tmp])
            cout << "Truth" << endl;
          else if (cc == 1 && fat[tmp])
            cout << "Lie" << endl;
          else
            cout << "Not defined" << endl;
        }
      }
    }
  }
  return 0;
}
