#include <bits/stdc++.h>
using namespace std;
pair<char, int> t[500001];
int ap[1000001], am[1000001];
int main() {
  int n, m, sp = 0, sm = 0, kp = 0, km = 0;
  cin >> n >> m;
  for (int i = 0; i < (n); i++) {
    char k;
    cin >> t[i].first >> k;
    t[i].second = k - '0';
    if (t[i].first == '-') {
      ++sm;
      ++am[t[i].second];
    } else {
      ++sp;
      ++ap[t[i].second];
    }
  }
  for (int i = 1; i <= (n); i++)
    if (ap[i] != 1) {
      kp = -1;
      break;
    }
  if (kp != -1)
    kp = 1;
  else
    kp = 0;
  for (int i = 1; i <= (n); i++)
    if (am[i] != 1) {
      km = -1;
      break;
    }
  if (km != -1)
    km = 1;
  else
    km = 0;
  for (int i = 0; i < (n); i++) {
    int pm = 0, sign1 = 0, sign2 = 0;
    if (t[i].first == '+') {
      pm = ap[t[i].second] + sm - am[t[i].second];
      if (pm == m) sign1 = 1;
      pm = ap[t[i].second];
      if (n - pm >= m - am[t[i].second] - ((kp) ? 1 : 0)) sign2 = 1;
      if (sign1 && sign2)
        cout << "Not defined\n";
      else if (sign1)
        cout << "Truth\n";
      else
        cout << "Lie\n";
    } else {
      pm = ap[t[i].second] + sm - am[t[i].second];
      if (pm == m) sign2 = 1;
      pm = ap[t[i].second];
      if (n - pm >= m - am[t[i].second] - ((km) ? 1 : 0)) sign1 = 1;
      if (sign1 && sign2)
        cout << "Not defined\n";
      else if (sign1)
        cout << "Truth\n";
      else
        cout << "Lie\n";
    }
  }
  return 0;
}
