Consolidated into a single file for easy pasting