伴随条件

side condition