+ Introduced boolean operations:
+ material condition →
+ biconditional ↔
+ esclusive or ⊕
+ UI update