  |-A
  \-B
valid=false
