semiproofs