Can someone give an example of a -material- conditional being used in some software logic gate? i.e. a conditional such that either a false antecedent always yields condition "True," or a true consequent, regardless of the truth or falsity of the antecedent, always yields "True"? If this exists, is its implementation in the language arbitrary, i.e. do you think any other style of conditional would have worked just as well?