Adding delta-logic back.
Adding delta-logic back.
Adding delta-logic back.
Adding delta-logic back.