Splits to tic_logic