If you go through the list of things that are not possible you're left with a very finite amount of possibilities. The fancy name for this is constraint theory. It's a nonquantitative model, but it's a field of mathematics.