beginning to generalize the splitting correctness theorems