\v=29
\v~=(Walikuwa wamemwona Trofimo, mwenyeji wa Efeso, akiwa mjini pamoja na Paulo wakadhani kuwa Paulo alikuwa amemwingiza Hekaluni.)
\¬v
\¬p