Changing some defining equations to use ind-nat