Before revision: Thus it performs logical disjunction (∨) from mathematical logic.
After revision: aThus it performs logical disjunction (∨) from mathematical logic.