properly implemented NAVStore