secondary proof