appreciating these programs, and thus being aware of GNU, which led
people to think about the philosophical base of GNU. Now users can
install a unified operating system which is basically GNU, but they
-usually thing these are "Linux systems". At first impression, a
+usually think these are "Linux systems". At first impression, a
"Linux system" sounds like something completely distinct from the "GNU
system," and that is what most users think.
However, it is not enough just to talk about freedom; we must also
make sure people know the reasons it is worth listening to what we
-say.
+say.
Long explanations such as our philosophical articles are one way of
informing the public, but you may not want to spend so much time on