First MCM module formalized.