\p \v=18 \v~=Mose akajibu: \¬p \q1 \p~<