let name_of_strict_slack = Name.of_string "l"