His tree? :nat