Solving with Syntax