Since Russell as ILE is convention, Bloem better have great arguments to justify a retyping. In addition to what Whoobie77 posted about 2nd function, I'll remind you of how CD cognition can lose contact with reality. If Bloem can overcome both these things, then convincing ppl of a different type for Russell may be possible.