the CNF is fixed by @Extension(optional=true)