#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m;
  scanf("%d%d", &n, &m);
  vector<int> ys(n);
  vector<int> ns(n);
  vector<int> ws(n);
  vector<bool> can(n);
  int tns = 0;
  int tys = 0;
  for (typeof(n) i = (0); i < (n); i++) {
    scanf("%d", &(ws[i]));
    if (ws[i] > 0) {
      ys[ws[i] - 1]++;
      tys++;
    } else {
      ns[(-ws[i]) - 1]++;
      tns++;
    }
  }
  int counter = 0;
  for (typeof(n) i = (0); i < (n); i++) {
    int tmp = ys[i] + tns - ns[i];
    can[i] = tmp == m;
    if (can[i]) counter++;
  }
  if (counter == 1) {
    for (typeof(n) i = (0); i < (n); i++) {
      bool e = ws[i] > 0;
      int index = e ? (ws[i] - 1) : ((-ws[i]) - 1);
      puts((can[index] == e) ? "Truth" : "Lie");
    }
  } else {
    for (typeof(n) i = (0); i < (n); i++) {
      bool e = ws[i] > 0;
      int index = e ? ws[i] - 1 : (-ws[i]) - 1;
      if (e) {
        if (can[index])
          puts("Not defined");
        else
          puts("Lie");
      } else {
        if (can[index])
          puts("Not defined");
        else
          puts("Truth");
      }
    }
  }
}
