The dot product is converted using the Dot Product Transpose Relation.