#include <bits/stdc++.h>
using namespace std;
int main() {
  int people, truth, n;
  cin >> people >> truth;
  vector<vector<int> > arr;
  vector<vector<char> > arr2;
  vector<char> arr3;
  vector<vector<char> > arr4;
  arr4.resize(2);
  arr3.resize(people + 1);
  arr.resize(2);
  for (int i = 0; i < 2; ++i) {
    arr[i].resize(people + 1);
    arr4[i].resize(people + 1);
  }
  for (int i = 0; i < 2; ++i)
    for (int j = 0; j < people + 1; ++j) arr[i][j] = 0;
  int sum1 = 0, sum2 = 0;
  for (int i = 1; i < people + 1; ++i) {
    cin >> n;
    if (n > 0) {
      arr[0][n]++;
      sum1++;
      arr4[0][i] = '+';
      arr4[1][i] = abs(n);
    } else {
      arr[1][abs(n)]++;
      sum2++;
      arr4[0][i] = '+';
      arr4[1][i] = abs(n);
    }
  }
  int j = 0;
  for (int i = 1; i < people + 1; ++i) {
    if (truth == (arr[0][i] + sum2 - arr[1][i])) {
      arr2.resize(arr2.size() + 1);
      arr2[j].resize(people + 1);
      for (int k = 1; k < people + 1; ++k) {
        if (k == i)
          arr2[j][k] = '+';
        else
          arr2[j][k] = '-';
      }
      ++j;
    }
  }
  for (int k = 1; k < people + 1; ++k)
    if (j == 1)
      arr3[k] = arr2[0][k];
    else
      for (int i = 1; i < j; ++i)
        if (arr2[i][k] != arr2[i - 1][k]) {
          arr3[k] = '?';
          break;
        } else
          arr3[k] = arr2[i][k];
  for (int i = 1; i < people + 1; ++i)
    if (arr3[arr4[1][i]] == '?')
      cout << "Not defined" << endl;
    else if (arr3[arr4[1][i]] == arr4[0][i])
      cout << "Truth" << endl;
    else
      cout << "Lie" << endl;
  return 0;
}
