Objective-C++ proof