#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 7;
int n, m, crime[3][N], negetiv, valid;
pair<char, int> pci[N];
char c;
int main() {
  cin >> n >> m;
  for (int i = 1; i <= n; i++) {
    cin >> pci[i].first >> pci[i].second;
    if (pci[i].first == '+') {
      crime[0][pci[i].second]++;
    } else {
      negetiv++;
      crime[1][pci[i].second]++;
    }
  }
  for (int i = 1; i <= n; i++) {
    if (crime[0][i] + negetiv - crime[1][i] == m) {
      crime[2][i] = 1;
      valid++;
    }
  }
  for (int i = 1; i <= n; i++) {
    if (pci[i].first == '+') {
      if (crime[2][pci[i].second] and valid > 1) {
        cout << "Not defined" << endl;
      } else if (crime[2][pci[i].second]) {
        cout << "Truth" << endl;
      } else {
        cout << "lie" << endl;
      }
    } else if (pci[i].first == '-') {
      if (((valid > 1) and crime[2][pci[i].second])) {
        cout << "Not defined" << endl;
      } else if (crime[2][pci[i].second]) {
        cout << "lie" << endl;
      } else {
        cout << "Truth" << endl;
      }
    }
  }
  return 0;
}
