Conditional Logic V: Symbolizing Drill