Id If Then
145 ( ∧¬ )
208 ( ) ¬
209 ( )
306 ( ∧¬ )
308 ( ) ¬
314 ¬
319 ( ∧¬ )