Fundamental Theorem of Prog Rock July 19, 2015 Given B, a band, and S, the set of all songs composed by B then B is Prog iff ∃s∈S such that s contains the sound of a baby. Testing out MathJax and Jekyll.