Comments
Cosmetics
Comments
Refuse to solve a non-normalized goal
Rename var
Templating.
Checkpoint.