Describir: Russell's hidden substitutional theory