#include <bits/stdc++.h>
using namespace std;
const int MaxN = 100005;
int n, m;
int c[MaxN];
int ng[MaxN], g[MaxN];
int ngCount;
int answer[MaxN];
int A[MaxN];
char s[MaxN];
int B[MaxN];
int main() {
  cin >> n >> m;
  for (int i = 1; i <= n; i++) {
    cin >> s[i] >> c[i];
    if (s[i] == '+') {
      g[c[i]]++;
    } else {
      ng[c[i]]++;
      ngCount++;
    }
  }
  for (int i = 1; i <= n; i++)
    if (s[i] == '+') {
      int truth = g[c[i]] + (ngCount - ng[c[i]]);
      if (truth != m)
        answer[i] |= 2;
      else {
        for (int j = 1; j <= n; j++)
          if (s[j] == '+') {
            if (c[j] == c[i])
              answer[j] |= 1;
            else
              answer[j] |= 2;
          } else {
            if (c[j] == c[i])
              answer[j] |= 2;
            else
              answer[j] |= 1;
          }
      }
    }
  for (int i = 1; i <= n; i++) {
    if (answer[i] == 1)
      cout << "Truth" << endl;
    else if (answer[i] == 2)
      cout << "Lie" << endl;
    else
      cout << "Not defined" << endl;
  }
  return 0;
}
