If he does transfer to CMU .
If he starts in the spring game then Lazzaro and maybe Johnson ( if he still is going to keep playing ) may leave .
If he does transfer to CMU and starts in the spring game then Lazzaro and maybe Johnson ( if he still is going to keep playing ) may leave .