unifying logic.