#include <bits/stdc++.h>
int N, M;
int answer[100000 + 1], targetA[100000 + 1], targetB[100000 + 1];
int input, sumA, sumB;
int main() {
  scanf("%d%d", &N, &M);
  for (int i = 1; i <= N; i++) targetA[i] = targetB[i] = 0;
  sumA = sumB = 0;
  for (int i = 1; i <= N; i++) {
    scanf("%d", &input);
    answer[i] = input;
    if (input > 0) {
      targetA[input]++;
      sumA++;
    } else {
      input = -input;
      targetB[input]++;
    }
  }
  sumB = N - sumA;
  for (int i = 1; i <= N; i++) {
    int p = answer[i];
    int tellTruth, tellLie;
    if (p > 0) {
      tellTruth = targetA[p] + sumB - targetB[p];
      tellLie = targetB[p] + sumA - targetA[p];
    } else {
      p = -p;
      tellTruth = targetB[p];
      tellLie = targetA[p];
    }
    if (tellTruth == M && tellLie == N - M)
      printf("Truth\n");
    else if (tellTruth > M || tellLie > N - M)
      printf("Lie\n");
    else
      printf("Not defined\n");
  }
  return 0;
}
