Euler–Boole_summation loading ...