Overview

There are three approaches,

They each need to solve some technical problems.

Canonical Skeleton

There is a canonical subspace, that is easy to specify, and easy to check that it is a skeleton. The trouble is, how to show there is a Liouville flow that realize this as a Liouville skeleton.