-a *OR* b
a
*THEREFORE* b