edited setproofs of all