#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 100;
int co[N], nco[N], coC, ncoC;
int tco[N], lnco[N], tcoC, lncoC, othertnco[N], otherlco[N], othertncoC,
    otherlcoC;
int x[N];
char ch[N];
int main() {
  ios::sync_with_stdio(false);
  cout.tie(0);
  cin.tie(0);
  int n, m;
  cin >> n >> m;
  for (int i = 0; i < n; i++) {
    char ch;
    int x;
    cin >> ch >> x;
    x--;
    if (ch == '+')
      co[x]++, coC++;
    else
      nco[x]++, ncoC++;
    ::ch[i] = ch;
    ::x[i] = x;
  }
  for (int i = 0; i < n; i++) {
    int x = ::x[i];
    int t = co[x] + ncoC - nco[x];
    if (t != m) continue;
    tco[x]++;
    lnco[x]++;
    tcoC++;
    lncoC++;
    othertnco[x]++;
    otherlco[x]++;
    othertncoC++;
    otherlcoC++;
  }
  for (int i = 0; i < n; i++) {
    bool t = false, l = false;
    if (ch[i] == '+') {
      if (tco[x[i]]) t = true;
      if (otherlcoC - otherlco[x[i]]) l = true;
    } else {
      if (lnco[x[i]]) l = true;
      if (othertncoC - othertnco[x[i]]) t = true;
    }
    cout << (l && t ? "Not defined" : l ? "Lie" : "Truth") << "\n";
  }
}
