#include <bits/stdc++.h>
using namespace std;
const int maxN = 100000 + 100;
vector<int> ch[maxN], disch[maxN];
set<int> killer;
struct word {
  bool ch;
  int who, truth, lie;
};
word a[maxN];
void ndef() { cout << "Not defined" << endl; }
void truth() { cout << "Truth" << endl; }
void lie() { cout << "Lie" << endl; }
int main() {
  int n, m;
  scanf("%d%d\n", &n, &m);
  int charges = 0, discharges = 0;
  for (int i = 0; i < n; ++i) {
    char type;
    int num;
    scanf("%c%d\n", &type, &num);
    num--;
    if (type == '+') {
      charges++;
      ch[num].push_back(i);
      a[i].ch = true;
    } else {
      discharges++;
      disch[num].push_back(i);
      a[i].ch = false;
    }
    a[i].who = num;
  }
  int killers = 0;
  int last;
  for (int i = 0; i < n; ++i) {
    int lied = disch[i].size() + charges - ch[i].size();
    if (lied == n - m) {
      killer.insert(i);
      last = i;
      killers++;
    }
  }
  if (killers == 1) {
    for (int i = 0; i < n; ++i) {
      if ((a[i].ch && a[i].who == last) || ((!a[i].ch) && (a[i].who != last)))
        truth();
      else if ((a[i].ch && a[i].who != last) ||
               ((!a[i].ch) && (a[i].who == last)))
        lie();
      else
        ndef();
    }
    return 0;
  }
  for (int i = 0; i < n; ++i) {
    if (a[i].ch && killer.find(a[i].who) == killer.end())
      lie();
    else if ((!a[i].ch) && killer.find(a[i].who) == killer.end())
      truth();
    else
      ndef();
  }
  return 0;
}
