Runtime and Correctness ramblings for Q4.