Re: transpiling to low level C

Tim Rentsch <tr.17687@z991.linuxsc.com> writes:

A statement of fact is a statement concerning an objective question,
such as "Is every even number greater than 4 the sum of two prime
numbers?".  A statement of fact can be right or wrong or true or
false, even if it isn't known at the present time which of those is
the case.  The statement "Four colors suffice to color any planar
map such that adjacent regions do not have the same color" is a
statement of fact, both now and 60 years ago before the statement
had been proven.  Both P==NP and P!=NP are statements of fact, even
though one of them must certainly be false;  the key property is
that they are objective statements, subject to falsification.  If I
say "The Earth is flat", that is a statement of fact, even though
the statement is false.

I think you go too far.  The word "fact" is not neutral as far as its
truth is concerned, and writing "a statement of fact" does not
significantly change that.  Most dictionaries define a fact as something
that is true (or at least supported by currently available evidence).
One online essay[1] concludes that

  "A statement of fact is one that has objective content and is
  well-supported by the available evidence."

[1] https://philosophersmag.com/the-fact-opinion-distinction/

--
Ben.