set p = <*> (bool X);
<*> (bool X) is V107() ;
hence not for b₁ being FinSequence of bool X holds b₁ is V107() ; :: thesis: verum