cond-form-formula