Gettier cases show true, reliably-formed beliefs can lack knowledge, proving first-order reliability...
This proposition has not been edited since the history system was added.