let name_of_nonstrict_slack = Name.of_string "k"