I gave an invited tutorial at Finite and Algorithmic Model Theory 2025 in Les Houches, France. Check out my slides!