I keep reading reviews of the 32 GB version of the Samsung Galaxy SIII. When they discuss the 32 GB version, it seems there is 12 GB of internal storage and another 12 GB designated as an internal (micro) SD card. This only totals up to 24 GB. What happened to the other 8 GB of on-board storage? Is it being used for system memory programs, etc.?