Theorem Local-First Reader