\q1 \v=12 \v~=\w Without|strong="H3808"\w* realizing \w it|strong="H7760"\w*, \¬q1 \q2 \p~<