Id If Then
3
22 ( ∧ )
223 ( ∧ )