\hat{AOB} = \hat{AOC}