Id If Then
41 ¬
134 ( ∧¬ ) ¬
145 ( ∧¬ )
171 ( ∧¬ ) ¬
295 ¬
306 ( ∧¬ )
315
346 ¬
348 ( ∧¬ )
349 ( ∧¬ )
429 ( ∧¬ ∧¬ )