Id If Then
78
92
432 ( )
433 ( ∧¬ )