over∫dx