// Shared initialization code
 void Initialize()
 {
     __ProofsViewModel = new ProofsViewModel(AppDelegate.GetLocalizedStrings());
 }