\q1 \v=4 \v~=When the angel appeared to him, he struggled with him and won. \¬q1 \q2 \p~<