DIL

Definition: 
Dual Induction Dual Induction Log