I had a little bit of a goof up when using quantifiers, so I thought I’d tell you all to make sure nobody else stumbles into this. It’s pretty simple, but it tripped me up at first.
When using two variables at the same time, do not put both variables under the same quantifier, like this: Ɐxy . Instead, make sure to use two quantifiers and have one variable per quantifier, like this: Ɐx Ɐy . Hope this helps!