If it is protested that proved mathematical truths are not subjectto subsequent refutation, my answer is that we safe guard them bv choosing to revoke non mathematical statements instead, in Cdses where a set of statements has been found conj ointlv to imply a false observation categorical.