Efficient Proof Reader