Correspondence

stack -> bag



slide: Behavioral subtypes -- correspondence