We conclude this introduction by briefly explaining the role of Theorem REF  within the global results of the arborealization program. It was shown in [1]} that singularities of Whitney stratified Lagrangians can always be locally deformed to arboreal Lagrangians in a non-characteristic fashion, i.e. without changing their microlocal invariants. The question of whether a global theory exists at the level of Weinstein structures is more subtle.
In two dimensions the story is classical: generic ribbon graphs provide arboreal skeleta. In four dimensions, Starkston proved
arboreal skeleta always exist in the Weinstein homotopy class of any Weinstein domain  [2]}.
