#include <bits/stdc++.h>
using namespace std;
const long long maxn = 1e5 + 19;
long long pos[maxn], neg[maxn], sumn = 0;
bool isbad[maxn];
string s[maxn];
long long build(string s) {
  long long a = 0;
  for (long long int i = 1; i < s.size(); i++)
    a += (s[i] - '0') * pow(10, s.size() - i - 1);
  return a;
}
int main() {
  ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  long long n, k;
  cin >> n >> k;
  for (long long int i = 0; i < n; i++) {
    cin >> s[i];
    if (s[i][0] == '+')
      pos[build(s[i])]++;
    else
      neg[build(s[i])]++, sumn++;
  }
  long long t = 0;
  for (long long int i = 1; i < n + 1; i++) {
    if (pos[i] + sumn - neg[i] == k) isbad[i] = true, t++;
  }
  for (long long int i = 0; i < n; i++) {
    long long a = build(s[i]);
    if ((isbad[a] && s[i][0] == '+' && t == 1) || (!isbad[a] && s[i][0] == '-'))
      cout << "Truth \n";
    else if ((!isbad[a] && s[i][0] == '+') ||
             (isbad[a] && s[i][0] == '-' && t == 1))
      cout << "Lie \n";
    else
      cout << "Not defined \n";
  }
  return 0;
}
