Soundness of proof system.