# Fundamental Theorem of Prog Rock

Given $B$, a band, and $S$, the set of all songs composed by $B$ then $B$ is Prog iff $\exists s \in S$ such that $s$ contains the sound of a baby.

Testing out MathJax and Jekyll.