DIL

Definition: 
Dual Induction SFL Log