Parameterize split and recompose

Also start working on a inverse proof