  We list the properties of contact homology, beyond purely formal, needed for
the proofs of some of the recent applications of contact homology in dynamics
to work. The list is put together for the AIM Transversality in Contact
Homology Workshop.
