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