Initial version of the new splitting axiom. This is much rougher than I would like, but it's better than nothing.

(binary:application/pdf)