Pascal', expSS
bullets, replace all eqVneq with boolP