Plantinga's counterexamples show that 'soft' facts (like 'God knew X') entail 'hard' facts (like 'X ...
This proposition has not been edited since the history system was added.