Anfonwch hwn fel neges destun: Russell's hidden substitutional theory