Negate the following predicate logic statements using the quantifier negation rules discussed in class. This requires that you (i) first convert the English sentence to a predicate logic expression, (ii) apply the quantifier negation rule (distributing the negation operation as much as possible), and (iii) convert the result back into an English sentence. Show all your work and ensure that no negation operations appear before any of the quantifiers in the expression you create. Let the universe of discourse be all animals.

a. Every fish has gills and has big fins.

b. There is at least one fish that cannot swim.