I will discuss in the talk David Nadler’s “arborealizaton conjecture” and will sketch its proof. The conjecture states that singularities of a Lagrangian skeleton of a symplectic Weinstein manifold could be always simplified to a finite list of singularities, called ``arboreal”. This is a joint work with Daniel Albarez-Gavela, David Nadler and Laura Starkston.