#include <bits/stdc++.h>
using namespace std;
int dx[] = {0, 0, 1, -1, 1, -1, 1, -1};
int dy[] = {1, -1, 0, 0, -1, 1, 1, -1};
long long gcd(long long a, long long b) { return !b ? a : gcd(b, a % b); }
long long lcm(long long a, long long b) { return (a / gcd(a, b)) * b; }
void PLAY() {
  cout << fixed << setprecision(10);
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
}
int a[100005], cnt[100005];
int main() {
  PLAY();
  int n, m;
  cin >> n >> m;
  int neg = 0;
  for (int i = 0; i < n; i++) {
    cin >> a[i];
    if (a[i] > 0)
      cnt[a[i]]++;
    else
      cnt[-a[i]]--, neg++;
  }
  int res = 0;
  for (int i = 1; i <= n; i++) res += cnt[i] == m - neg;
  for (int i = 0; i < n; i++) {
    if (cnt[abs(a[i])] + neg != m)
      cout << (a[i] > 0 ? "Lie" : "Truth") << endl;
    else if (res == 1)
      cout << (a[i] > 0 ? "Truth" : "Lie") << endl;
    else
      cout << "Not defined" << endl;
  }
  return 0;
}
