code review comments for trap and proof