#include<bits/stdc++.h>
#define fastio ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
#include <ext/pb_ds/assoc_container.hpp>
using namespace __gnu_pbds;
#define lli long long int
#define ulli unsigned long long int
#define ff first
#define ss second
#define mp make_pair
#define pb push_back
#define pf pop_front()
#define lb lower_bound
#define ub upper_bound
#define bs binary_search
#define loopl(i,a,b) for(lli i=a;i<b;i++) 
#define loop(i,a,b) for(int i=a;i<b;i++)
#define mod 1000000007
#define inf 1000000000000000
#define lld long double
#define pll pair<long long int,long long int>
#define vll vector<lli>
#define stp setprecision(15)
#define eps 0.000001
#define endl '\n'
#define ll lli
 
using namespace std ;
 
typedef tree<pll,null_type,less<pll>,rb_tree_tag,
tree_order_statistics_node_update> indexed_set;
#define N 100010
#define lg 19



int main() 
{ 

/////////////////////////////////////
    
    fastio;
    #ifndef ONLINE_JUDGE
    freopen("input.txt", "rt", stdin);
    freopen("output.txt", "wt", stdout);
    #endif
 
/////////////////////////////////////    

    lli n,m;
    cin>>n>>m;

    lli wrong[n+1]={0},right[n+1]={0};

    lli nw=0,nr=0;

    char chr[n];
    lli val[n]; 
    loopl(i,0,n)
    {
        char c;
        lli x;
        cin>>c>>x;

        chr[i] = c;
        val[i] = x;

        if(c == '+') 
        {
            nr++;
            right[x]++;
        }

        if(c == '-')
        {
            nw++;
            wrong[x]++;
        }
    }

    vll ans;
    map<lli,bool> ma;
    loopl(i,1,n+1)
    {
        lli pw=0,pr=0;

        pw += nr - right[i];
        pr += nw - wrong[i];

        pw += wrong[i];
        pr += right[i];

        if(pr == m) 
        {
            ans.pb(i);
            ma[i] = 1;
        }
    }

    if(ans.size() == 0)
    {
        loopl(i,0,n) cout<<"Lie"<<endl;
        return 0;
    }

    loopl(i,0,n)
    {
        lli x = val[i];
        if(chr[i] == '+')
        {
            if(ma[x] == 1)
            {
                if(ans.size() == 1) cout<<"Truth"<<endl;
                else cout<<"Not defined"<<endl;
            }

            else
                cout<<"Lie"<<endl;
        }

        else 
        {
            if(ma[x] == 1) cout<<"Not defined"<<endl;
            else
            {
                cout<<"Truth"<<endl;
            }
        }
    }

} 