Added test proof