DIL

Definition: 
Dual Induction Log