Catabot Rescue has at its core a very deep
and important mathematical problem. By rescuing catabots
from a prison, you are solving a logic puzzle in what is
called the * propositional calculus*. This calculus is
powerful enough to express a large variety of important
science and engineering problems: including the so called
NP-Complete Problems. You can learn more about this
below: