Q Proof? future proves past