Copy parts of MIR chapter from SICL documentation.