Definition of "FACT"