أرسل هذا في رسالة قصيرة: A sound and complete logic for algebraic effects