\q1 \v=17 \v~=Noah was found perfect \add and \add* righteous; \¬q1 \q1 \p~<