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