#nextlibrary proof: