تگ: Limit-Computable Grains of Truth