#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 7;
const int M = 26;
const int inf = (int)1e9 + 7;
const long long base = (long long)1e18;
const double pi = acos(-1);
const double ep = 1e-18;
int pos[N];
int neg[N];
int n, m;
char c[N];
int a[N];
int sumPos = 0, sumNeg = 0;
bool check[N];
int main() {
  scanf("%d%d\n", &n, &m);
  for (int i = 1; i < n + 1; i++) {
    scanf("%c%d", c + i, a + i);
    if (c[i] == '+') {
      pos[a[i]]++;
      sumPos++;
    } else {
      neg[a[i]]++;
      sumNeg++;
    }
  }
  int cnt = 0;
  for (int i = 1; i < n + 1; i++) {
    check[i] = (pos[i] + sumNeg - neg[i] == m);
    cnt += check[i];
  }
  for (int i = 1; i < n + 1; i++) {
    if (c[i] == '+') {
      if (check[a[i]]) {
        if (cnt > 1)
          puts("Not defined");
        else
          puts("Truth");
      } else
        puts("Lie");
    } else {
      if (check[a[i]]) {
        if (cnt > 1)
          puts("Not defined");
        else
          puts("Lie");
      } else
        puts("Truth");
    }
  }
}
