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.
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.