"less valid"
A content SUGGESTION was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/krmt?inDocPath=-5nna2n.-xgsben%7E5a4d8599
The issue as described by the user:
This phrase is ambigous, does it mean that the statmenes are not as valid as others, or that there are fewer valid statements?
The text highlighted while reporting this issue:
less valid
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/hopl/slides/Henkin-intro.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=hopl/slides/Henkin-intro.en.xhtml&bindings=1_10_lOjFXlWxyoQXFU3oM30 -
GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/hopl/sec/hopl-intro.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=hopl/sec/hopl-intro.en.xhtml&bindings=1_0_QuO -
GitLab: https://gl.mathhub.info/MiKoMH/KRMT/-/blob/main/source/hol-stlc/sec/hol-stlc.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/KRMT&filepath=hol-stlc/sec/hol-stlc.en.xhtml&bindings=1_0_3hq -
GitLab: https://gl.mathhub.info/MiKoMH/KRMT/-/blob/main/source/course/notes/notes.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/KRMT&filepath=course/notes/notes.xhtml