Initial version of the new splitting axiom.
This is much rougher than I would like, but it's better than nothing.
notes for response to referee report- We incorporated all the suggestions of the referee, with the following exceptions...- RR7: ...- (?) include blob_changes_v3 (?)