Correspondence

<< %a, %r, %x >>



slide: The subtype correspondence mapping