premise: he gave us a general formula for attacking polynomials
hypothesis: a specific type of formula is emergency procedure, defined as '(medicine) a procedure adopted to meet an emergency (especially a medical emergency)' .