What happens now that Nottingham Forest have been docked four points?