#include <bits/stdc++.h>
using namespace std;
int kk, first, second, n, m, k, l, a[100001], v[100001];
char c;
bool A[100001];
int pl[100001], mi[100001], P, M;
int main() {
  scanf("%d%d", &n, &m);
  for (first = 1; first <= n; first++) {
    c = '@';
    while (c != '-' && c != '+') scanf("%c", &c);
    if (c == '+') {
      a[first] = 1;
      P++;
    } else {
      a[first] = 0;
      M++;
    }
    scanf("%d", &v[first]);
  }
  for (first = 1; first <= n; first++) {
    if (a[first] == 0)
      mi[v[first]]++;
    else
      pl[v[first]]++;
  }
  for (first = 1; first <= n; first++)
    if (pl[first] + M - mi[first] == m) {
      A[first] = true;
      k++;
    }
  for (first = 1; first <= n; first++)
    if ((a[first] == 1 && !A[v[first]]) ||
        (a[first] == 0 && A[v[first]] && k == 1))
      printf("Lie\n");
    else if ((a[first] == 1 && k > 1) ||
             (a[first] == 0 && A[v[first]] && k > 1))
      printf("Not defined\n");
    else
      printf("Truth\n");
}
