Logic & Formal Reasoning: AI-Alerts