changed proof