Even though the universe operates in a simple and deterministic way, predicting the future with certainty is impossible due to the unpredictable nature of cellular automata. However, there are still pockets within the cellular automata where one can be predictive and rely on formal proof, even though the rest of the system is unpredictable.