Representational Truths
The procedural vs declarative distinction often depends on the architecture below the level you’re interested in
Representation matters: a good representation may permit an algorithmic solution; a bad representation may preclude a solution in theory or practice
- Example: mutilated checkerboard problem