Renamed "Ind1" to "ind-hyp-0".