The problems of adopting a logic have received significant recent attention. Less noted is the fact that, for almost all logicians, the logic they adopted and the formal system they take as corresponding to it do not match. This is well-known, and largely ignored. The present paper explores rather than ignores.