Conditional Logic IV: Symbolizing Drill