A few changes in the Facts and adding Fact1 tests