Even if we adopt the theory of types we remain frce to adopt the course which Russell himself adopted under the name of tY/Jicai amhigu ity thus ahandoning the use of a distinctive style of variables for every type.