Level: Lib Thy Top: 1
Hypotheses:

  1. A :

  2. A total

Conclusion:

(Bot in! A)

Applied Tactic: D 0 THENW Auto
Generated subgoals:

1. False