\v=4 \v~=\w Et|strong="H1121"\w* dis-lui: \¬p \q1 \p~<