Lefschetz_duality loading ...