(pr(- 1(read)))