Encompassing Formulation, Properties and Testing | EKB DL