Check FOL invariants on still more examples.
Check FOL invariants on still more examples.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language