Describe the syntactic algorithm.
Assorted improvements.