\q2 \v=22 \v~=for wisdom, that is the architect of all things, taught me. \b \¬q2 \q1 \p~<