#include <bits/stdc++.h>
int main(int argc, char const* argv[]) {
  int n = ({
    int t;
    scanf("%d", &t);
    t;
  }),
      m = ({
        int t;
        scanf("%d", &t);
        t;
      });
  int defend[n], blame[n], sta[n], defs = 0;
  memset(defend, 0, sizeof(defend));
  memset(blame, 0, sizeof(blame));
  for (typeof(0) i(0); i != (n); ++i) {
    sta[i] = ({
      int t;
      scanf("%d", &t);
      t;
    });
    if (sta[i] > 0)
      blame[sta[i] - 1]++;
    else
      defend[-sta[i] - 1]++, defs++;
  }
  bool culp[n];
  int culpcnt = 0;
  memset(culp, false, sizeof(culp));
  for (typeof(0) i(0); i != (n); ++i)
    if (blame[i] + defs - defend[i] == m) culpcnt += culp[i] = true;
  for (typeof(0) i(0); i != (n); ++i) {
    if (culpcnt != 1)
      if ((sta[i] > 0 && culp[sta[i] - 1]) ||
          (sta[i] < 0 && culp[-sta[i] - 1])) {
        printf("Not defined\n");
        continue;
      }
    if ((sta[i] > 0 && !culp[sta[i] - 1]) ||
        (sta[i] < 0 && culp[-sta[i] - 1])) {
      printf("Lie\n");
      continue;
    }
    printf("Truth\n");
  }
  return 0;
}
