\v=10 \v~=and they did so. \¬p \p \p~<