AP Reader Simulation · Value Theorems