Symbol: ECR_CNF