again, as we noted in an earlier chapter, there are two separate issues with reverse polymorphic assignment. Can we tell if it is legal, and can we actually do it?