Can someone make a list of all Q posts that are already linked to "future proves past" proofs? Then we can use the remaining Q posts to understand what lies ahead. Thanks.