Lefschetz_number loading ...