Add something on negat. corr. patterns <=> neg. patterns