newt(t(_,_,_,_)).
addt(K,V,t(K,