Writers Followed by ProofArrival