\q1 \v=2 \v~=The foundation was built by him to the height of the double walls, \¬q1 \q2 \p~<