REDDStore works correctly now, I think!