Lefschetz_zeta_function loading ...