Subtyping in Emerald -- S conforms to T


slide: The subtype relation in Emerald