Renaming files: Practicing with OrdinaryPercolation