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