Define predicates $P(x)$ as $"x$ is a natural number" and $Q(x)$ as $"x$ is an even number". Consider the universe of discourse as the set of integers.

a$)$ Express the statement "There exists a natural number that is even" using quantifiers and predicates.

b$)$ Express the statement "Every natural number is even" using quantifiers and predicates