Leaking abstractions

x[:] : x[::-1] = x[1:-1] : x[len(x)-2:0:-1]

Tertium datur

if (a) {
  [...]
}
else if (!a) {
  [...]
}
else {
  [...]
}