proof-read implementation section