proof system