Initial Fact implementation.