The eventually-correct database!