Let’s say the store currently has X GB of files, and a maximum quota of Y GB. We have A GB of leased files, and N unleased files which take up B GB.