updated splitting theorems.