�了自然知道自己的猜想是否正确。