Added DeflOpt