Hmm, except that his first example is weird. He tries to rewrite all of his logic, instead of just putting an extra case at the top: if (b & c) { x

Hmm, except that his first example is weird. He tries to rewrite all of his logic, instead of just putting an extra case at the top: if (b & c) { x = 3; elif (a) { ... which according to his methodology is an "overlap", and thus bad - but seems a lot clearer to me than his program's simplification: if (a & (!b | !c)) { x = 1; } else if (!a & ((b & !c)|(!b & c))) { x = 2; } etc... Ditto for the fibonacci stuff and his later examples. And they're pretty straightforward. For larger functions I can see it spiraling out of control.