Nice use of the multiplication symbol.