Introduction to writing proof (predicate)

Symbolize the following sentence, using the indicated letters.

If Beth can't pass the final, no one can.
(b = Beth; f = the final; Pxy = x can pass y; Px = x is a person)

~Pbf --> for all x (Px --> ~Pxf)

b + f = Pxy
Px = Pxy + f

beth + final = cant pass
A person = cant pass + the final