Towards Efficient Second Order Change