Han har valt det senare alternativet,