Ah, ok. That makes a bit more sense. Although if it is truly impossible to know X, but everything works as if X holds, we might just take the easy way out and

Ah, ok. That makes a bit more sense. Although if it is truly impossible to know X, but everything works as if X holds, we might just take the easy way out and assume that X until proven otherwise. But that may be my personal philosophy.