That is a grey area for me, mostly because of the statements made by the showrunners after his departure. When someone leaves a project they love dearly and promoted heavily and personally drove from the fan side of things, it makes me wonder whether it was an actual leaving or if they paid him handsomely to say he’s leaving and to not badmouth the show in XYZ words or format.