I realize that. I'm not saying *asInstanceOf* isn't necessary, I'm saying *isInstanceOf* might be too much, depending on whether we view this as dealing with something we know but the compiler doesn't, or whether we view this as dealing with the potential for someone to get around the compiler to give us bad data :)