Fact and Existence