@MercurialBuilding @Arcana @ai @hidden uhh no, actually, it is actually *true* that 2+2=4, and this fact may be reflected in a computation implemented by a calculator but it isn't *contingent* on it. the causality runs from 2+2=4 to the calculator, not the other way around