Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

Formula List

Applied Tactic: Ext
Generated subgoals:

1. Formula List

2. x

3. Formula List