:::{.remark}
If $G\in \smooth\Aff\Grp\Sch\slice X$ and $T\slice X$ is a [[locally fppf trivial]] $G\dash$torsor, then $T$ is [[etale locally trivial]] by a slicing argument.

Setup: let $X\in \Var\slice k$ and $G\in\Grp\Sch\slice k$ with $T\slice X\in \torsors{G}$.
Partition $X(k)$ as 
:::