Conditional Logic XIV: Symbolizing Drill