Added notation and control contamination