rephrased tuple immutability criteria