Translate each of the following English statements into logic. You may define predicates as

necessary.

Note: Your predicates should not trivialize the problem.

$($a$)$ Each pair of students at UMich has at least two mutual friends at UMich. The domain

of discourse is all students at UMich.