CMP’s secret: nominative determinism