THIEF_070716_138

Existing comment: Miguel Varoni, Bruce Guthrie @ IDB

Proposed user comment: