Anfonwch hwn fel neges destun: Relating Z and First−order logic