Id If Then
41 ¬
92
426 ( )
429 ( ∧¬ ∧¬ )
432 ( )