ability to do singleton specifications for read statements