Global Unset SsrOldRewriteGoalsOrder.
(* under <names>: {occs}[patt]<lemma>. under <names>: {occs}[patt]<lemma> by tac1. under <names>: {occs}[patt]<lemma> by [tac1 | ...]. *)
Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.

Axiom daemon : False. Ltac myadmit := case: daemon.