Canonical_form loading ...