One cannot achieve an exponential speedup by treating the problems as structureless “black boxes,” consisting of an exponential number of solutions to be tested in parallel.
The device can detect the full sequence of cubes around the circle, count cubes of each type, perform arithmetic, and carry out simple logical commands.
For him and McLoughin, this has factored into the couple's naming calculus, as it doesn't leave a clear and straightforward naming route for them to follow.
To explain why these inferences are valid, we need to turn to PREDICATE LOGIC, also called PREDICATE CALCULUS, which studies the internal structure of simple propositions.