(ENG/ESP) Illustration “Kyrsiel, Gersiel and Midori in Formal Unifo...