Conditional Logic IX: Symbolizing Drill