Any universal premise bridging source and target domains in a deductive reconstruction must itself b...