linter.fugue.exactAbsurd

exact absurd x y opens no goal and reads backwards. Use the absurd tactic, nomatch h, or a named have that contradiction finds.