THEORY in the DAW 8 - How to LISTEN and LEARN from Music using Formal Analysis