Emphasize effect of subtyping rules