(\cdot |\cdot)\colon U\times U\to\mathbb{R}