A football team follows the strategy: "Play aggressively until you score the first goal $($and including the moment$).$

After scoring the first goal, switch to defensive play." Which of the following CTL $($Computation Tree Logic$)$

statements correctly encodes this football strategy?

goal $R$ defensive

aggressive W goal

aggressive U goal

$($aggressive U goal$)vv($G aggressive$)$