SMS dit: Russell's hidden substitutional theory