section 8.3: t-adic precision

corrected