> constantly seeking proofs within systems containing sufficient complexity to render conclusions nearly impossible

Language. Nothing is impossible.