introduce a double integral