for T being Tree holds
( {} in T & <*> NAT in T )