completed infinite splitting rule