a+b|a+c