File:Subtyping.png