#include <bits/stdc++.h>
using namespace std;
int x[100005], yes[100005], no[100005], ok[100005];
int n, m, i, sumno, cnt, temp, TT, FF, truth;
char opt[100005][2];
int main() {
  scanf("%d%d", &n, &m);
  for (i = 1; i <= n; i++) {
    scanf("%d", &x[i]);
    if (x[i] > 0)
      opt[i][0] = '+';
    else
      opt[i][0] = '-', x[i] = -x[i];
    (opt[i][0] == '+') ? yes[x[i]]++ : no[x[i]]++;
  }
  for (i = 1; i <= n; i++) sumno += no[i];
  for (i = 1; i <= n; i++) {
    truth = sumno - no[i] + yes[i];
    if (truth != m) continue;
    ok[i] = 1;
    cnt++;
    temp = i;
  }
  for (i = 1; i <= n; i++) {
    TT = 0;
    FF = 0;
    if (opt[i][0] == '+' && ok[x[i]]) TT = 1;
    if (opt[i][0] == '-' && !(cnt == 1 && temp == x[i])) TT = 1;
    if (opt[i][0] == '+' && !(cnt == 1 && temp == x[i])) FF = 1;
    if (opt[i][0] == '-' && ok[x[i]]) FF = 1;
    if (TT && FF)
      puts("Not defined");
    else if (TT)
      puts("Truth");
    else
      puts("Lie");
  }
  return 0;
}
