\p \v=3 \v~=Solomon sent this message to King Hiram of the city of Tyre: \¬p \pi1<