For each of the following questions, give a short answer and justification.

$($a$)$ TRUE or FALSE: If GF $p$ holds for a state machine $A,$ then so does FG $p.$

$($b$)$ TRUE or FALSE: $G(Gp)$ holds for a trace if and only if $Gp$ holds.