\p \c#=138 \v=1 \v~=(Von David.) \¬p \p \p~<