3 ms·
We're all in agreement there it seems.
by wesselbindt 2y ago
We're all in agreement there it seems.
- seanmcdirmid 2y agoIf you just state it as a logical quantified proposition, it’s pretty obvious unless the type is complicated (then you need to break it down into multiple logical quantified propositions).
- wesselbindt 2y agoYes of course, but again, I don't think anyone disagrees with you on this.