Of which 7GB is taken up by the OS and system apps.

I was kinda exaggerating, then I checked my phone and there's actually 15GB used by the OS.