Picture Omitted
slide
:
The subtype correspondence mapping