        ┌───┐
        │ A │
        └───┘
  ┌──────┘ └──────┐
  │               │
valid          invalid
  │               │
  ▼               ▼
┌───┐           ┌───┐
│ B │           │ C │
└───┘           └───┘