Point-in-Time Correctness