Anfonwch hwn fel neges destun: Completeness of many-sorted equational logic /