Create Fact.cpp