For my own reason for thinking that the consequent of the conditional, rather than the conditional as a whole, presupposes that Herb is not the boss, and that pragmatic Gricean reasons must be used to explain the intuition attaching the same presupposition to the entire conditional (assuming the Karttunen and Peters algorithm), see my discussion of further on.