Applies some of the changes requested

So that the PR is acceptable.

Author: JJ

doc/Type/Mu.pod6

@@ -609,7 +609,7 @@ Returns the given item to the enclosing C<gather> block, without introducing a n
 
     method so()
 
-Evaluates the item in boolean context (and thus collapses Junctions),
+Evaluates the item in boolean context (and thus, for instance, collapses Junctions),
 and returns the result.
 It is the opposite of C<not>, and equivalent to the
 L«C<?> operator|/language/operators#prefix_?».
@@ -623,13 +623,19 @@ then do this thing".  For instance,
         say "Verbose option detected in arguments";
     } # OUTPUT: «Verbose option detected in arguments␤»
 
+The C<$verbose-selected> variable in this case contains a
+L<C<Junction>|/type/Junction>, whose value is C<any(any(False, False),
+any(False, False), any(False, False), any(True, False))>. That is actually a
+I<truish> value; thus, negating it will yield C<False>. The negation of that
+result will be C<True>. C<so> is performing all those operations under the hood.
+
 =head2 method not
 
     method not()
 
-Evaluates the item in boolean context (and thus collapses Junctions),
+Evaluates the item in boolean context (leading to final evaluation of Junctions, for instance),
 and negates the result.
-It is the opposite of C<so>, and equivalent to the
+It is the opposite of C<so> and its behavior is equivalent to the
 L«C<!> operator|/language/operators#prefix_!».
 
     my @args = <-a -e -b>;