An obviously desirable goal, when mixing static and dynamic typing, is that the static and dynamic checks should do the same thing. We discuss why we cannot achieve this goal in Grace — and indeed in any language in which type information is optional — and consider various compromises.