Adding two facts to the file.