\q1 \v=3 \v~=Who shall go up to the mountain of the Lord, and who shall stand in his holy place? \¬v \¬q1