Logic, the other way around ...