OCR MEI Core 3 2.05 Introducing the Codomain