TP and NIL can it be used to