use haveRead() for the to be wrapped key