Original: A ZIP file contains one or more files that have been compressed to reduce file size , or stored as-is .
Simplified: ZIP files generally use the file extensions '' .