Id If Then
382 ( ∧ ∧ )
383
394 ( ∧ )