Updated Fact.java