Goal True.
Proof.
exact I; cycle 1.
Qed.

Goal True.
Proof.
exact I; swap 1 2.
Qed.