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