Provided that $$F$,$G$,$ and $$H$$ are unary predicates, the following formula is a wff:

$($Fa $->$$x$($Gx $$ Hb$))$