some proofs of sethood