invariants.html typo

[walkerbrianpatrick]

Small typo on the 'Writing an Invariant' page.
https://learntla.com/core/invariants.html

That’s equivalent to “every element in the set is less than 2”, which is false. If I wrote \E x \in {1, 2, 3}: x < 3, that would instead be true.

Should be 'x < 4' or ' x <=3'.

[hwayne]

It's correct because `\E` is true if at least one element satisfies the predicate, and `1 < 3`. To match the `\A` example above, it should be `\E x \in {1, 2, 3}: x < 2`.

…

On Tue, Dec 30, 2025 at 1:48 PM Brian P Walker ***@***.***> wrote: *walkerbrianpatrick* created an issue (hwayne/learntla-v2#100) <#100> Small typo on the 'Writing an Invariant' page. https://learntla.com/core/invariants.html That’s equivalent to “every element in the set is less than 2”, which is false. If I wrote \E x \in {1, 2, 3}: x < 3, that would instead be true. Should be 'x < 4' or ' x <=3'. — Reply to this email directly, view it on GitHub <#100>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAUJO5BGYASBRVQ2VVZSECD4ELJIJAVCNFSM6AAAAACQK4VEK6VHI2DSMVQWIX3LMV43ASLTON2WKOZTG43TCMJSG42DONA> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[walkerbrianpatrick]

Ahhh, I missed the change from \A to \E. Brian Walker

…

On Wed, Dec 31, 2025, 20:25 Hillel Wayne ***@***.***> wrote: *hwayne* left a comment (hwayne/learntla-v2#100) <#100 (comment)> It's correct because `\E` is true if at least one element satisfies the predicate, and `1 < 3`. To match the `\A` example above, it should be `\E x \in {1, 2, 3}: x < 2`. On Tue, Dec 30, 2025 at 1:48 PM Brian P Walker ***@***.***> wrote: > *walkerbrianpatrick* created an issue (hwayne/learntla-v2#100) > <#100> > > Small typo on the 'Writing an Invariant' page. > https://learntla.com/core/invariants.html > > That’s equivalent to “every element in the set is less than 2”, which is false. If I wrote \E x \in {1, 2, 3}: x < 3, that would instead be true. > > Should be 'x < 4' or ' x <=3'. > > — > Reply to this email directly, view it on GitHub > <#100>, or unsubscribe > < https://github.com/notifications/unsubscribe-auth/AAUJO5BGYASBRVQ2VVZSECD4ELJIJAVCNFSM6AAAAACQK4VEK6VHI2DSMVQWIX3LMV43ASLTON2WKOZTG43TCMJSG42DONA> > . > You are receiving this because you are subscribed to this thread.Message > ID: ***@***.***> > — Reply to this email directly, view it on GitHub <#100 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAJ6FA7I4NAHF2PQS2XSQWT4ESOTZAVCNFSM6AAAAACQK4VEK6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTOMBTGI2DSNZXGM> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[walkerbrianpatrick]

I'll retract the issue, but as an example I think would be stronger to retain the \A and only change the comparison.