\r=Ps 7; 17; 35. \q1 \c#=26 \v=1 \v~=\w De|strong="H1980"\w* \w David|strong="H1732"\w*. \b \¬q1 \q1 \p~<