Is bullet point optional in subgoals in a destruct tactic? if yes, why would you use it?

General