The middle term is \(_{m,X}^\)  essentially by definition. Indeed, the construction the tilt of a perfectoid algebra \(R\)  ([1]} Lemma 3.4) induces an map of multiplicative monoids:
\(R^\cong _{x\mapsto x^p} R,\) 
