Anfonwch hwn fel neges destun: A sound and complete logic for algebraic effects