This article is too basic. > (x < 10 && 5 < x) which is a stupid option because it implies 10 < 5 What? no it doesn't! > (5 < x && x < 10) It's already very

This article is too basic. > (x < 10 && 5 < x) which is a stupid option because it implies 10 < 5 What? no it doesn't! > (5 < x && x < 10) It's already very obvious that one can take 5 < x < 10 and split it into 5 < x && x < 10 right off the bat. Loads of examples of that out there.