Id If Then
430
431 ¬
432 ( ∧ ∧ )
433 ( ∧¬ )