Also, in case you need the law of cosines in your pocket. ;)