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