Գրեք սա: Russell's hidden substitutional theory