Triple_product_rule loading ...