Semantics and the Syntax of Algebra Solution Manual