More canonical form tests.