#include <bits/stdc++.h>
int main() {
  int n, m;
  scanf("%d%d", &n, &m);
  int *obv = new int[n + 1];
  for (int i = 1; i <= n; i++) {
    scanf("%d", obv + i);
  }
  int *vinoven = new int[n + 1];
  for (int i = 0; i <= n; i++) vinoven[i] = 0;
  int *nevinoven = new int[n + 1];
  for (int i = 0; i <= n; i++) nevinoven[i] = 0;
  int neobvinenia = 0;
  for (int i = 1; i <= n; i++)
    if (obv[i] > 0)
      vinoven[obv[i]]++;
    else {
      nevinoven[-obv[i]]++;
      neobvinenia++;
    }
  int *vina = new int[n + 1];
  for (int i = 0; i <= n; i++) vina[i] = 0;
  int vinas = 0;
  for (int i = 1; i <= n; i++)
    if (neobvinenia - nevinoven[i] + vinoven[i] == m) {
      vina[i] = 1;
      vinas++;
    } else
      vina[i] = 0;
  int *lie = new int[n + 1];
  for (int i = 0; i <= n; i++) lie[i] = 0;
  for (int i = 1; i <= n; i++)
    if (obv[i] > 0)
      if (vina[obv[i]] == 1) {
        if (vinas == 1) lie[i] = -1;
      } else
        lie[i] = 1;
    else if (vina[-obv[i]] == 1) {
      if (vinas == 1) lie[i] = 1;
    } else
      lie[i] = -1;
  for (int i = 1; i <= n; i++) switch (lie[i]) {
      case -1:
        printf("Truth\n");
        break;
      case 0:
        printf("Not defined\n");
        break;
      case 1:
        printf("Lie\n");
    }
  return 0;
}
