Whatever is the Case, is the Case Fact
Whatever is the case, is the case. That is to say, whatever is true is true within a system, is true within that system (for example, whatever is the case, in reality, is the case in reality; or, whatever is true in mathematics, is true in mathematics).