Generalize formSplice and make it subsume formSplice' in the process