#include<conio.h>
#include<stdio.h>

#define MAX 100000

struct ac{
	char x;
	int y;
};

int main()
{
    //freopen("a.txt","r",stdin);
	ac a[MAX];
	char x1;
	int i,n,k,count=0,c[MAX];
	scanf("%d%d",&n,&k);
	for(i=0;i<n;i++) c[i]=0;
	for(i=0;i<n;i++) scanf("%c%c%d",&x1,&a[i].x,&a[i].y);
	for(i=0;i<n;i++) if(a[i].x=='-') c[i]=-1;
	for(i=0;i<n;i++) if(a[i].x=='+') {if(c[a[i].y-1]==-1) c[i]=1;count++;}
	
	for(i=0;i<n;i++)
	if(c[i]==1) printf("Lie\n");
	else if(count==n-k+1) printf("Truth\n");
		 else printf("Not defined\n");
	//getch();
    return 0;
}
