"key proof"