Theorem Local-first reader