Add formal exp.