Of course the proof is a forest of full grown trees, but there's every reason to expect this method will get us there.
Of course the proof is a forest of full grown trees, but there's every reason to expect this method will get us there.