T* ('True(T)') inherits whatever worldly grounds make T true, so its ontological costs are real even...