condition_C (Well )