#include <bits/stdc++.h>
using namespace std;
int cg[111111];
int cn[111111];
char wc[111111];
int wi[111111];
bool cb[111111];
const string OK = "Truth";
const string LIE = "Lie";
const string ND = "Not defined";
int main() {
  int n, m;
  scanf("%d%d", &n, &m);
  int an = 0;
  for (int i = 0; i < n; i++) {
    char c = 0;
    while (c != '+' && c != '-') {
      scanf("%c", &c);
    }
    int x;
    scanf("%d", &x);
    --x;
    if (c == '+') {
      cg[x]++;
    } else {
      cn[x]++;
      an++;
    }
    wc[i] = c;
    wi[i] = x;
  }
  int cc = 0;
  int ls = -1;
  for (int i = 0; i < n; i++) {
    if ((cb[i] = (cg[i] + an - cn[i] == m))) {
      cc++;
      ls = i;
    }
  }
  if (cc == 1) {
    for (int i = 0; i < n; i++) {
      if (wc[i] == '+') {
        if (wi[i] == ls) {
          cout << OK;
        } else {
          cout << LIE;
        }
      } else {
        if (wi[i] == ls) {
          cout << LIE;
        } else {
          cout << OK;
        }
      }
      cout << "\n";
    }
    return 0;
  }
  for (int i = 0; i < n; i++) {
    if (wc[i] == '+') {
      if (cb[wi[i]]) {
        cout << ND;
      } else {
        cout << LIE;
      }
    } else {
      if (cb[wi[i]]) {
        cout << ND;
      } else {
        cout << OK;
      }
    }
    cout << "\n";
  }
  return 0;
}
