I’m hunting for a certain type of case and could use some help. I’m looking for a biconditional with something like the form
For all x, x is F iff blah blah x blah blah
that is BOTH correct as an analysis of Fness AND plausibly true for other reasons. In other words, this would need to be a biconditional of which we think: (i) it’s a correct analysis, and (ii) were it not a correct analysis, it’d still be true.