#include <bits/stdc++.h>
using namespace std;
const int LIM = 100001;
int p[LIM];
int q[LIM];
char t[LIM];
int a[LIM];
bool can[LIM];
int main() {
  int n, m;
  cin >> n >> m;
  int k = 0;
  for (int i = 0; i < n; ++i) {
    string tmp;
    cin >> tmp;
    t[i] = tmp[0];
    stringstream ss(tmp.substr(1));
    ss >> a[i];
    if (t[i] == '+') {
      ++p[a[i]];
    } else {
      ++k;
      ++q[a[i]];
    }
  }
  int c = 0;
  for (int i = 0; i < n; ++i) {
    can[i] = (m == p[a[i]] + k - q[a[i]]);
    c += can[i];
  }
  for (int i = 0; i < n; ++i) {
    bool truth = false;
    bool lie = false;
    if (t[i] == '+') {
      truth = can[i];
      lie = (c > 1);
    } else {
      truth = (c > 1);
      lie = can[i];
    }
    if ((truth && lie) || (!truth && !lie)) {
      cout << "Not defined" << endl;
    } else if (truth) {
      cout << "Truth" << endl;
    } else {
      cout << "Lie" << endl;
    }
  }
  return 0;
}
