Hard_systems