IDesc model: modelled up to elimination, with no crazy flag but a mutual definition.
IDesc model: modelled up to elimination, with no crazy flag but a mutual definition.
kwangkim/pigment,brixen/Epigram,kwangkim/pigment,kwangkim/pigment