with AB = AC