\v=11
\v~=\w Command|strong="G3853"\w* \w these|strong="G3778"\w* \w things|strong="G3778"\w* \w and|strong="G2532"\w* \w teach|strong="G1321"\w* \w these|strong="G3778"\w* \w things|strong="G3778"\w*. 
\¬v
\¬p