OH here, commented renaming and cross_product.