finishing proofs using signature checks