IsCanonical test