What is probabilistic inference?

What is our language?

A brief introduction to Sum-of-Squares