What is a Musical? The Definition for Musicals