2) Let S(x, y) be the statement "x is friends with y," where the domains for x and y are all people in the world. Translate each of the following English statements into a formal logical expression using quantifiers. Each part is worth 5pts.] a) Everyone has a friend. b Someone is friends with Jamal. If you are friends with Mary, then you are also friends with Tim. d) Everyone is friends with themselves