#include <bits/stdc++.h>
using namespace std;
int n, m, a[100005], is[100005], isn[100005], N, used[100005];
vector<int> v;
int main() {
  cin >> n >> m;
  for (int i = 1; i <= n; i++) {
    char t;
    int ind;
    cin >> t >> ind;
    a[i] = ind;
    if (t == '+')
      is[ind]++;
    else {
      a[i] *= -1;
      isn[ind]++;
      N++;
    }
  }
  for (int i = 1; i <= n; i++)
    if (is[i] + N - isn[i] == m) {
      v.push_back(i);
      used[i] = 1;
    }
  if (v.size() == 1) {
    for (int i = 1; i <= n; i++)
      if (a[i] == v[0] || (a[i] < 0 && -a[i] != v[0]))
        cout << "Truth" << endl;
      else
        cout << "Lie" << endl;
  } else {
    for (int i = 1; i <= n; i++)
      if (a[i] > 0 && !used[a[i]])
        cout << "Lie" << endl;
      else if (a[i] < 0 && !used[-a[i]])
        cout << "Truth" << endl;
      else
        cout << "Not defined" << endl;
  }
  return 0;
}
