This article downplays some benefits of symbolic approaches. For example, a set of logical statements can benefit from a SAT solver, and a concrete object can b

This article downplays some benefits of symbolic approaches. For example, a set of logical statements can benefit from a SAT solver, and a concrete object can benefit from a relational database or a search through a graph, and theorems can be proved symbolically.