 The specifications of these properties and preconditions of requiring them are given below.The following two properties are related to achieving convergence.The following three properties are related to achieving the desired group undo effect.