3 ms·would self referential proofs be harder?by sharemywin 3y agowould self referential proofs be harder?