Tag: a = b cos C + c cos B