Let the domain of discourse be all natural numbers (0, 1, 2, 3, ...) Translate "something is odd" using this translation key: Fx x is even Gx x is odd Hxy y is one greater than x a the number 1 b the number 2 Use A and E for the universal and existential quantifier symbols respectively. Your answer should be the formula and nothing else.