Canonical Form Definition