retag 5 that are not Law of Cosines, fix 1 to have unique solution

My comments for each of the 4 commits have extra detail.