verbetering invarianten