rules of inference for quantified statements