\b \b \p \v=2 \v~=Alisema: \¬p \q1 \p~<