cond-form-formula-2