#include <bits/stdc++.h>
using namespace std;
long long fp(long long n, long long p) {
  if (p == 0) return 1;
  if (p == 1) return n;
  long long res = fp(n, p / 2) % (long long)(1e9 + 7);
  res = ((res) * (res)) % (long long)(1e9 + 7);
  if (p % 2) res = (res * n) % (long long)(1e9 + 7);
  return res;
}
int n, m, x[100005], a[100005], b[100005], cnt, suspects = 0;
int ans[100005];
char c[100005];
int main() {
  ios::sync_with_stdio(0);
  ios_base::sync_with_stdio(0);
  cin.tie(0), cout.tie(0);
  ;
  cin >> n >> m;
  for (int i = 0; i < n; i++) {
    cin >> c[i] >> x[i];
    if (c[i] == '+') {
      a[x[i]]++;
    } else {
      b[x[i]]++;
      cnt++;
    }
  }
  for (int i = 1; i <= n; i++) {
    if (a[i] - b[i] + cnt == m) ans[i] = 1, suspects++;
  }
  for (int i = 1; i <= n; i++) {
    if (suspects > 1 && ans[x[i - 1]] == 1)
      cout << "Not defined" << '\n';
    else if (c[i - 1] == '+' && ans[x[i - 1]] == 1)
      cout << "Truth" << '\n';
    else if (c[i - 1] == '-' && ans[x[i - 1]] == 0)
      cout << "Truth" << '\n';
    else
      cout << "Lie" << '\n';
  }
  return 0;
}
