Tree version of WL