This is an automated test for
#3530
.
reset
⌐¬
∧
||