Russell's Hidden Substitutional Theory