#include <bits/stdc++.h>
using namespace std;
void solve() {}
const long long maxn = 100500;
string a[maxn];
long long accused[maxn], defend[maxn];
long long dt = 0;
set<long long> S;
signed main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  long long n, m;
  cin >> n >> m;
  for (long long i = 1; i <= n; i++) {
    cin >> a[i];
    long long b = a[i][1] - '0';
    if (a[i][0] == '+') {
      accused[b]++;
    } else {
      defend[b]++;
      dt++;
    }
  }
  for (long long i = 1; i <= n; i++) {
    long long t = accused[i] + (dt - defend[i]);
    if (t == m) {
      S.emplace(i);
    }
  }
  for (long long i = 1; i <= n; i++) {
    long long b = a[i][1] - '0';
    if (a[i][0] == '+') {
      if (S.count(b)) {
        if ((long long)S.size() == 1) {
          cout << "Truth" << '\n';
        } else {
          cout << "Not defined" << '\n';
        }
      } else {
        cout << "Lie" << '\n';
      }
    } else if (a[i][0] == '-') {
      if (S.count(b)) {
        if ((long long)S.size() == 1) {
          cout << "Lie" << '\n';
        } else {
          cout << "Not defined" << '\n';
        }
      } else {
        cout << "Truth" << '\n';
      }
    }
  }
}
