Le due proprietà LTL sono $ gf ( psi_1 land f psi_2) $ e $ gf ( psi_2 land f psi_1) $ equivalente?

Question

È $ Gf ( psi_1 land f psi_2) $ equivalente alla proprietà $ Gf ( psi_2 land f psi_1) $?

Tentativo:

Nella prima proprietà che ogni stato alla fine deve vedere $ psi_1 $ e $ psi_2 $, anche nella seconda proprietà che ogni stato alla fine deve vedere $ psi_1 $ e $ psi_2 $, in quanto tali le due proprietà devono essere equivalenti. È corretto?