Let ()W(x) be the statement " x weighs more than 4000 kg" , where the domain is the set of all elephants. Translate the following English statements into logical expressions (that use predicates, quantifiers, logical connectives, etc).

(a) No elephant weighs more than 40004000 kg.

(b) There are (at least) two distinct elephants that weigh more than 40004000 kg.

(c) There are exactly two elephants that weigh more than 40004000 kg.