Music theory for nerds