CalcCheck: Test/Test007.ltx: No syntax errors.
CalcCheck: Now checking...

Proving  (9.20)  (∃ x | Q ∧ R • p ) ≡ (∃ x | Q • R ∧ p )

    (∃ x | Q ∧ R • p ) ≡ (∃ x | Q • R ∧ p )

CalcCheck: Finished checking Test/Test007.ltx
CalcCheck: 1 calculation fully checked
CalcCheck: Wrote Test/Test007.ltx.html
