F: X \times A \to \mathbb{R}