...form
A canonical form is a syntactic form in which variables appear in a predefined order and constants are partially evaluated.