أرسل هذا في رسالة قصيرة: Automated reasoning :