(pr(=(read)1))