Welsh-Bouillabaisse-XR — proof, practice, and the bigger inquiry