\v=26 \v~=\w en|strong="G2532"\w* \w disant|strong="G3004"\w*, \¬p \q1 \p~<