Fix pragma.
Add S-polynomial definition.