change over approximation to check summary