This is not directly neccessary, as we are not doing any strict comparision on $cut.