Distinguished between facts and basic laws for the purpose of language features. Facts are supported by all pre-defined languages.