\q1 \v=15 \v~=\w He|strong="H1980"\w* \w who|strong="H1980"\w* \w walks|strong="H1980"\w* \w righteously|strong="H6666"\w* \¬q1 \q2 \p~<