#include <bits/stdc++.h>
using namespace std;
int n, m;
int Spos = 0, Sneg = 0;
int pos[100000], neg[100000];
char cs[100000];
int xs[100000];
int main() {
  scanf("%d %d", &n, &m);
  for (int i = 0; i < (int)(n); i++) {
    scanf(" %c %d", &cs[i], &xs[i]);
    --xs[i];
    if (cs[i] == '+') {
      ++Spos;
      ++pos[xs[i]];
    } else {
      ++Sneg;
      ++neg[xs[i]];
    }
  }
  if (n == 1) {
    if (Spos)
      cout << "Truth" << endl;
    else
      cout << "Lie" << endl;
    return 0;
  }
  int cnt = 0;
  for (int i = 0; i < (int)(n); i++)
    if (pos[i] + Sneg - neg[i] == m) ++cnt;
  for (int i = 0; i < (int)(n); i++) {
    if (cs[i] == '+') {
      int cntTrue = pos[xs[i]] + Sneg - neg[xs[i]];
      if (cntTrue == m && cnt == 1)
        cout << "Truth" << endl;
      else if (cntTrue == m)
        cout << "Not defined" << endl;
      else
        cout << "Lie" << endl;
    } else {
      int cntFalse = pos[xs[i]] + Sneg - neg[xs[i]];
      if (cntFalse == m && cnt == 1)
        cout << "Lie" << endl;
      else if (cntFalse == m)
        cout << "Not defined" << endl;
      else
        cout << "Truth" << endl;
    }
  }
  return 0;
}
