#include <bits/stdc++.h>
using namespace std;
char d[1000000];
int n, m, i, j, per, num;
int kix[200000], ans[200000], ki[1000000], ara[200000], fix[1000000],
    c[1000000];
int main() {
  cin >> n >> m;
  for (i = 1; i <= n; i++) {
    cin >> d[i] >> c[i];
    if (d[i] == '+')
      ki[c[i]]++;
    else
      ara[c[i]]++;
  }
  for (i = 1; i <= n; i++)
    if (d[i] == '-') num++;
  for (i = 1; i <= n; i++) fix[i] = 10;
  for (i = 1; i <= n; i++)
    if (ki[c[i]] + num - ara[c[i]] == m) {
      per++;
      ans[per] = i;
    }
  for (j = 1; j <= per; j++) {
    for (i = 1; i <= n; i++)
      if (c[i] == ans[j]) {
        if (d[i] == '+' && fix[i] == 10)
          fix[i] = 1;
        else if (fix[i] == 10 && d[i] == '-')
          fix[i] = 0;
      } else
        fix[i] = -1;
  }
  for (i = 1; i <= n; i++)
    if (fix[i] == -1)
      cout << "Not defined" << endl;
    else if (fix[i] == 1)
      cout << "Truth" << endl;
    else
      cout << "Lie" << endl;
}
