@jkatz1488 I started really really basic my friend. I typed: "_what is a denominator_" into YouTube. There is a ton of resources out there to help with these things.
... trigger in terms of translation bc it would become ... existential quantifier whereas the translation groups are under universal ... t really apply universal quantifiers translation rules under such situations. ... I said, your current translation looks great, when I ...