A Legendrian submanifold in projects to a Lagrangian submanifold in :

This projection is typically not one-to-one; it is a cover. We can define as a PDF on the space of Legendrian submanifolds by interpreting the definition as integration over the projection:

This descends to a closed PDF on the space of Legendrian submanifolds .